Lock mechanism is used here . as a part of the national 863 planned project - " 2001 aa41 1320 regional modern integrated manufacture system development and application oriented city chengdu , deyang and mianyang " and the science and technology key project of sichuan province - " the engineering configuration intelligent cad technology oriented the process of design " , what the anthor had mainly done shown as below . introduced the characters of cooperative cad system , studied the locking mechanism on concurrent control of cooperative design , especially the multiple granularity locking mechanism , decriped the locking mechanism in rsise formal method , checked and implemented the locking mechanism in rsise 作為國(guó)家863計(jì)劃項(xiàng)目: “ 2001aa411320以成德綿為核心的區(qū)域現(xiàn)代集成制造系統(tǒng)開(kāi)發(fā)及應(yīng)用”與四川省重大科技攻關(guān)項(xiàng)目: “ 01gg010 - 01區(qū)域制造業(yè)信息化關(guān)鍵技術(shù)與應(yīng)用研究”的一部分,本文對(duì)結(jié)點(diǎn)的加鎖機(jī)制進(jìn)行了詳細(xì)的研究,并且用raise形式化方法進(jìn)行了描述和實(shí)現(xiàn),具體工作如下: ( 1 )分析和總結(jié)了協(xié)同設(shè)計(jì)系統(tǒng)各種并發(fā)控制機(jī)制及其優(yōu)缺點(diǎn); ( 2 )研究了協(xié)同設(shè)計(jì)系統(tǒng)中并發(fā)控制的加鎖機(jī)制。
百科解釋
In computer science, multiple granularity locking (MGL), sometimes called the John Rayner locking method, is a locking method used in database management systems (DBMS) and relational databases.